VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
applicativeorder reduction
not found. Suggestions:
applicative order reduction
reduction
reduction strategy
parallel reduction
string reduction
beta reduction
Computational Adequacy Theorem
Weak Head Normal Form
applicative order reduction
delta reduction
Church-Rosser Theorem